Analysis of boolean functions related to binary input binary output two-party nonlocal games
نویسندگان
چکیده
The famous CHSH game can be interpreted with Boolean functions while understanding the success probability in classical scenario. In this paper, we have exhaustively studied all on four variables to express binary input output two-party nonlocal games and explore their performance both quantum scenarios. Our analysis finds out some other (other than game) which offer a higher scenario as compared one. Naturally, our study also notes that (and corresponding similar partition) is most efficient terms of separation between techniques.
منابع مشابه
Minimizing ESCT forms for two-variable multiple-valued input binary output functions
As EXOR (Exclusive-OR) expansions of binary output functions, the ESOP (EXOR Sum of Products) form and its extension, the ESCT (EXOR Sum of Complex Terms) form, have been studied extensively in the literature. An efficient algorithm for minimizing ESOP forms is known for two-variable multiple-valued input functions. On the other hand, no ESCT minimization algorithm is known for such functions. ...
متن کاملBinary decision diagrams for random Boolean functions
Binary Decision Diagrams (BDDs) are a data structure for Boolean functions which are also known as branching programs. In ordered binary decision diagrams (OBDDs), the tests have to obey a fixed variable ordering. In free binary decision diagrams (FBDDs), each variable can be tested at most once. The efficiency of new variants of the BDD concept is usually demonstrated with spectacular (worst-c...
متن کاملOptimal robust quantum self-testing by binary nonlocal XOR games
Self-testing a quantum device means verifying the existence of a certain quantum state as well as the effect of the associated measurements based only on the statistics of the measurement outcomes. Robust, i.e., error-tolerant, self-testing quantum devices are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted quantum devices. We give a criterion wh...
متن کاملOptimal Robust Self-Testing by Binary Nonlocal XOR Games
Self-testing a quantum apparatus means verifying the existence of a certain quantum state as well as the effect of the associated measuring devices based only on the statistics of the measurement outcomes. Robust (i.e., error-tolerant) self-testing quantum apparatuses are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted devices. We devise a genera...
متن کاملA construction of binary linear codes from Boolean functions
Boolean functions have important applications in cryptography and coding theory. Two famous classes of binary codes derived from Boolean functions are the Reed-Muller codes and Kerdock codes. In the past two decades, a lot of progress on the study of applications of Boolean functions in coding theory has been made. Two generic constructions of binary linear codes with Boolean functions have bee...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cryptography and Communications
سال: 2023
ISSN: ['1936-2455', '1936-2447']
DOI: https://doi.org/10.1007/s12095-023-00648-0